61. Language, logic, and computation :
Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
9
.
L63
62. Languages and compilers for parallel computing
Author: \ James Brodman, Peng Tu (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Parallelizing compilers -- Congresses,Parallel programming (Computer science) -- Congresses.,پردازش موازی -- کنگره ها ,برنامهنویسی موازی -- کنگره ها
Classification :
QA
76
.
642
.
L32
2015
E-Book
,
63. Languages and compilers for parallel computing :
Author: James Brodman, Peng Tu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Parallelizing compilers, Congresses.
Classification :
QA76
.
58
64. Languages and compilers for parallel computing
Author: Sanjay Rajopadhye, Michelle Mills Strout (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses,Parallelizing compilers, Congresses
Classification :
QA76
.
642
.
W67
2011
65. Languages and compilers for parallel computing
Author: \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامهنویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرمافزار -- کنگره ها
Classification :
QA
76
.
642
.
L32
2016
E-Book
,
66. Languages and compilers for parallel computing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Compilers (Computer programs) ; Congresses. ; Parallel processing (Electronic computers) ; Congresses. ; Programming languages (Electronic computers) ; Congresses. ;
67. Languages and compilers for parallel computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, revised papers
Author: Samuel P. Midkiff...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2017
68. Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computing(-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses
Classification :
QA
76
.
58
.
L36
1993
69. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
Author: Sandhya Dwarkadas )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
1915
70. #Languages, compilers, and tools for embedded systems
Author: #Jack Davidson, Sang Lyul Min, eds
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Embedded computer systems- Programming- Congresses ،Programming languages )Electronic computers(- Congresses ،Compilers )Computer programs(- Congresses
Classification :
#
QA
،#.
A13
،#
2000
71. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: Jack Davidson, Sang Lyul Min, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1985
72. Logic, language, and computation
Author: / Balder D. ten Cate, Henk W. Zeevat (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
Classification :
QA
,
76
.
9
,.
L63
,
I565
,
2005
73. Logic, language, and computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
74. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
75. Logic, language, and computation
Author: \ [edited by] Martin Aher...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L644
2015
E-Book
,
76. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
Author: edited by J. Winkowski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
Classification :
QA
76
.
L28
Vol
.
64
77. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
78. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
79. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
80. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
Author: edited by Austin Melton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
239
